Optimal. Leaf size=127 \[ \frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}+\frac {3 (b c-a d) \tan ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}}-\frac {3 (b c-a d) \tanh ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 127, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 6, integrand size = 19, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.316, Rules used = {52, 65, 338,
304, 211, 214} \begin {gather*} \frac {3 (b c-a d) \text {ArcTan}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}}-\frac {3 (b c-a d) \tanh ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}}+\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 52
Rule 65
Rule 211
Rule 214
Rule 304
Rule 338
Rubi steps
\begin {align*} \int \frac {(a+b x)^{3/4}}{(c+d x)^{3/4}} \, dx &=\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}-\frac {(3 (b c-a d)) \int \frac {1}{\sqrt [4]{a+b x} (c+d x)^{3/4}} \, dx}{4 d}\\ &=\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}-\frac {(3 (b c-a d)) \text {Subst}\left (\int \frac {x^2}{\left (c-\frac {a d}{b}+\frac {d x^4}{b}\right )^{3/4}} \, dx,x,\sqrt [4]{a+b x}\right )}{b d}\\ &=\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}-\frac {(3 (b c-a d)) \text {Subst}\left (\int \frac {x^2}{1-\frac {d x^4}{b}} \, dx,x,\frac {\sqrt [4]{a+b x}}{\sqrt [4]{c+d x}}\right )}{b d}\\ &=\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}-\frac {(3 (b c-a d)) \text {Subst}\left (\int \frac {1}{\sqrt {b}-\sqrt {d} x^2} \, dx,x,\frac {\sqrt [4]{a+b x}}{\sqrt [4]{c+d x}}\right )}{2 d^{3/2}}+\frac {(3 (b c-a d)) \text {Subst}\left (\int \frac {1}{\sqrt {b}+\sqrt {d} x^2} \, dx,x,\frac {\sqrt [4]{a+b x}}{\sqrt [4]{c+d x}}\right )}{2 d^{3/2}}\\ &=\frac {(a+b x)^{3/4} \sqrt [4]{c+d x}}{d}+\frac {3 (b c-a d) \tan ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}}-\frac {3 (b c-a d) \tanh ^{-1}\left (\frac {\sqrt [4]{d} \sqrt [4]{a+b x}}{\sqrt [4]{b} \sqrt [4]{c+d x}}\right )}{2 \sqrt [4]{b} d^{7/4}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in
optimal.
time = 10.03, size = 73, normalized size = 0.57 \begin {gather*} \frac {4 (a+b x)^{7/4} \left (\frac {b (c+d x)}{b c-a d}\right )^{3/4} \, _2F_1\left (\frac {3}{4},\frac {7}{4};\frac {11}{4};\frac {d (a+b x)}{-b c+a d}\right )}{7 b (c+d x)^{3/4}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.00, size = 0, normalized size = 0.00 \[\int \frac {\left (b x +a \right )^{\frac {3}{4}}}{\left (d x +c \right )^{\frac {3}{4}}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 808 vs.
\(2 (95) = 190\).
time = 0.95, size = 808, normalized size = 6.36 \begin {gather*} -\frac {12 \, d \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {1}{4}} \arctan \left (\frac {{\left (b^{2} c d^{5} - a b d^{6}\right )} {\left (b x + a\right )}^{\frac {3}{4}} {\left (d x + c\right )}^{\frac {1}{4}} \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {3}{4}} + {\left (b^{2} d^{5} x + a b d^{5}\right )} \sqrt {\frac {{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} \sqrt {b x + a} \sqrt {d x + c} + {\left (b d^{4} x + a d^{4}\right )} \sqrt {\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}}}{b x + a}} \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {3}{4}}}{a b^{4} c^{4} - 4 \, a^{2} b^{3} c^{3} d + 6 \, a^{3} b^{2} c^{2} d^{2} - 4 \, a^{4} b c d^{3} + a^{5} d^{4} + {\left (b^{5} c^{4} - 4 \, a b^{4} c^{3} d + 6 \, a^{2} b^{3} c^{2} d^{2} - 4 \, a^{3} b^{2} c d^{3} + a^{4} b d^{4}\right )} x}\right ) + 3 \, d \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {1}{4}} \log \left (-\frac {3 \, {\left ({\left (b c - a d\right )} {\left (b x + a\right )}^{\frac {3}{4}} {\left (d x + c\right )}^{\frac {1}{4}} + {\left (b d^{2} x + a d^{2}\right )} \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {1}{4}}\right )}}{b x + a}\right ) - 3 \, d \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {1}{4}} \log \left (-\frac {3 \, {\left ({\left (b c - a d\right )} {\left (b x + a\right )}^{\frac {3}{4}} {\left (d x + c\right )}^{\frac {1}{4}} - {\left (b d^{2} x + a d^{2}\right )} \left (\frac {b^{4} c^{4} - 4 \, a b^{3} c^{3} d + 6 \, a^{2} b^{2} c^{2} d^{2} - 4 \, a^{3} b c d^{3} + a^{4} d^{4}}{b d^{7}}\right )^{\frac {1}{4}}\right )}}{b x + a}\right ) - 4 \, {\left (b x + a\right )}^{\frac {3}{4}} {\left (d x + c\right )}^{\frac {1}{4}}}{4 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b x\right )^{\frac {3}{4}}}{\left (c + d x\right )^{\frac {3}{4}}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int \frac {{\left (a+b\,x\right )}^{3/4}}{{\left (c+d\,x\right )}^{3/4}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________